Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 10 of 12 for:
formal verification
1 ?
 21,213,375 websites (safe search)

  1. The Averest System

    Welcome! Averest is a set of tools for the specification, verification, and implementation of reactive systems. It includes a compiler and a simulator for ...
    Formal Verification1
    Model Checking1
    Controller Synthesis1
    Execution Time Analysis1
    Synchronous Languages1
    Averest0

    www.averest.org - 2009-02-07

  2. Matthew Fairtlough

    Matthew Fairtlough Researcher, lecturer and tutor in Mathematics and Computer Science Tutor in Physics Brief academic biography Born April 2nd 1955 in ...
    Mathematica1
    Formal verification1
    Mathematics tutor1
    Fairtlough0

    www.fairtlough.net - 2009-02-14

  3. CoreEL Technologies (I) Pvt. Ltd.: ASIC Design, FPGA Design, PCB Design, Embedded Design Services

    CoreEL offers design services in the area of FPGA design, Embedded Design, PCB Design and ASIC design with emphasis on quality deliverables
    TCP2
    ToE2
    IPv61
    IPv41
    NDP1
    MLD1
    IP Cores1
    Test Bench1
    PCB Design services1
    Formal Verification1
    ASIC Design Services1
    FPGA Design Services1
    Static Timing Analysis1
    Embedded Design Services1
    H.264 Decoder1
    Gate level Verification1
    1 to 0.6u1
    CABAC Decoder1
    CAVLC Decoder1
    Context Index Generation1
    Ex-Golomb Decoder1
    HDL Translated Netlist1
    ICMPv61
    Intra Prediction1
    Inverse Scaling and Transform1
    Multiple Clock Domain1
    Post Layout Verification1
    TAHI test suite1
    TCP Acceleration1
    TCP Off Load1
    UDP Off Load1

    www.cg-coreel.com - 2009-02-07

  4. Welcome to Real Intent, Inc.

    Real Intent is developing block-to-chip level assertion-based formal verification products that dramatically improve the functional verification efficiency of ...
    formal2
    verification2
    magellan1
    EDA1
    archer1
    hdl1
    vhdl1
    verilog1
    psl1
    verifier1
    Electronic Design Automation1
    civ1
    hierarchical1
    ABV1
    systemverilog1
    blacktie1
    ovl1
    formal verification1
    Semi-formal1
    Functional verification1
    Model checking1
    property checking1
    verix1
    Functional coverage1
    0-in0
    assertion-based verification0
    Automatic assertion0
    clock intent0
    expressed intent0
    implied intent0
    Real Intent0
    static verification0

    www.realintent.com - 2009-02-06

  5. Atoptech - Breaking the Bounds of Physical Design - Home

    News / Articles · 01/26/09 ATopTech Closes Successful 2008, Reaches Revenue Milestone · 07/15/08 SCDsource: ATopTech takes a fresh approach to place and route · 0 ...
    extraction2
    CTS2
    Lithography1
    caa1
    cmp1
    hdl1
    electronic design1
    lpc1
    drc1
    dfm1
    lvs1
    dft1
    electronic design automation1
    asic design1
    circuit simulation1
    design for manufacturing1
    design for manufacturability1
    gdsii1
    lfd1
    eda software1
    design for test1
    integrated circuit design1
    circuit simulator1
    floorplanning1
    formal verification1
    ARM Reference flow1
    characterization to silicon1
    Floorplan Synthesis1
    low power design1
    Aprisa1
    automated chip creation0

    www.atoptech.com - 2009-02-12

  6. Magma Design Automation, Co.,Ltd. - Integrated RTL to GDSII Design and Analysis Solutions

    Advanced RTL-to-GDSII electronic design and physical verification software for SoCs, ASICs and structured ASICs, and FPGAs, with special capabilities for 90 ...
    extraction2
    verification2
    opc2
    rtl2
    yield1
    soc1
    hdl1
    electronic design1
    vhdl1
    dfm1
    dft1
    electronic design automation1
    asic design1
    signal integrity1
    design for manufacturing1
    fpga design1
    gdsii1
    eda software1
    system on chip1
    design for test1
    integrated circuit design1
    formal verification1
    structured ASIC1
    low power design1
    physical verification1
    verilog.1

    www.magma-da.co.jp - 2009-04-07

  7. Magma: Integrating Digital & Analog IC Design & Verification.

    Jump to content Worldwide Sites Worldwide Sites Magma Japan Magma China Magma Taiwan Sales MOLTEN Online Support Contact Us RSS Products and Solutions Digital ...
    analog2
    extraction2
    CTS2
    caa1
    cmp1
    hdl1
    electronic design1
    drc1
    dfm1
    dft1
    analog design1
    electronic design automation1
    asic design1
    circuit simulation1
    design for manufacturing1
    design for manufacturability1
    gdsii1
    eda software1
    design for test1
    integrated circuit design1
    circuit simulator1
    ahead of the curve1
    formal verification1
    ARM Reference flow1
    characterization to silicon1
    Floorplan Synthesis1
    analog IP migration1
    analog migration1
    design ahead of the curve1
    hierarchical design1
    TSMC Reference flow1

    www.circuitintegrity.com - 2009-02-05

  8. Man-Made Minions

    Software tools, Theorem-proving, Formal verification
    automated3
    bug2
    logic2
    artificial intelligence2
    software testing1
    debugging1
    MMM1
    formal methods1
    software verification1
    formal verification1
    machine intelligence1
    Aubrey de Grey1
    predicate calculus1
    program verification1
    first-order1
    SMVS1
    Aaron Turner0
    Man-Made Minions0
    program verifier0
    proof of correctness0
    theorem-prover0
    theorem-proving0
    verification challenge0
    verification grand challenge0
    verifying compiler0
    VV&T0

    www.manmademinions.com - 2009-02-12

  9. Embedded Systems Group

    home teaching offers research publications tools people contact Welcome! The Embedded Systems Group is a research division of the Department of Computer Science ...
    order4
    logic2
    higher2
    Embedded Systems2
    proving1
    Theorem1
    Formal Verification1
    Controller Synthesis1
    Execution Time Analysis1
    Reactive Systems1
    Synchronous Languages1
    Embedded Systems Group0
    Hardware-Software Codesign0
    Models of Computation0

    es.cs.uni-kl.de - 2009-04-13

  10. METASymbiose Web Site

    METASymbiose : EDA Software development and web services(hosting, creation, promotion)
    Multimedia4
    Web services2
    Prototyping2
    Formal Verification1
    EDA tools1
    METASymbiose0

    www.metasymbiose.com - 2009-02-04

12 Next>

Gnomit  
About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.